<HTML><HEAD>
<META NAME="description" CONTENT="Objects that ...">
<META NAME="author" CONTENT="">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>foobar Flat contracts</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="foobar_chart.html">Chart</A></TD><TD><A HREF="foobar_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE><B>indexing</B>
    description: "Objects that ..."
    author: ""
    date: "$Date$"
    revision: "$Revision$"

<B>class</B> <B>interface</B>
    <A HREF="../base/foobar_flatshort.html">FOOBAR</A>


<B>create</B> 
    <A NAME="f_default_create"><A HREF="../base/any_flatshort.html#f_default_create">default_create</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process instances of classes with no creation clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Initialization</FONT>

    <A NAME="f_make"><A HREF="../base/array_flatshort.html#f_make">make</A> (min_index, max_index: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Allocate array; set index interval to</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT>`min_index'<FONT COLOR="red"> .. </FONT>`max_index'<FONT COLOR="red">; set all values to default.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Make array empty if </FONT>`min_index'<FONT COLOR="red"> = </FONT>`max_index'<FONT COLOR="red"> + 1).</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            valid_bounds: min_index &lt;= max_index + 1
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            lower_set: <A HREF="../base/array_flatshort.html#f_lower">lower</A> = min_index
            upper_set: <A HREF="../base/array_flatshort.html#f_upper">upper</A> = max_index
            items_set: <A HREF="../base/array_flatshort.html#f_all_default">all_default</A>
</A>
    <A NAME="f_make_from_array"><A HREF="../base/array_flatshort.html#f_make_from_array">make_from_array</A> (a: <A HREF="../base/array_flatshort.html">ARRAY</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>])
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Initialize from the items of </FONT>`a'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Useful in proper descendants of class </FONT>`ARRAY'<FONT COLOR="red">,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to initialize an array-like object from a manifest array.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            array_exists: a /= <B>Void</B>
</A>
    <A NAME="f_make_from_cil"><A HREF="../base/array_flatshort.html#f_make_from_cil">make_from_cil</A> (na: <A HREF="../base/native_array_flatshort.html">NATIVE_ARRAY</A> [<B>like</B> <A HREF="../base/array_flatshort.html#f_item">item</A>])
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Initialize array from </FONT>`na'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            is_dotnet: {<A HREF="../base/platform_flatshort.html">PLATFORM</A>}.<A HREF="../base/platform_flatshort.html#f_is_dotnet">is_dotnet</A>
            na_not_void: na /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Access</FONT>

    <A NAME="f_area"><A HREF="../base/to_special_flatshort.html#f_area">area</A>: <A HREF="../base/special_flatshort.html">SPECIAL</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>]</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Special data zone</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/to_special_flatshort.html">TO_SPECIAL</A><FONT COLOR="red">)</FONT>

    <A NAME="f_entry"><A HREF="../base/array_flatshort.html#f_entry">entry</A> (i: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Entry at index </FONT>`i'<FONT COLOR="red">, if in index interval</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            valid_key: <A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (i)
</A>
    <A NAME="f_generating_type"><A HREF="../base/any_flatshort.html#f_generating_type">generating_type</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generating_type_not_void: <B>Result</B> /= <B>Void</B>
            generating_type_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_generator"><A HREF="../base/any_flatshort.html#f_generator">generator</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating class</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (base class of the type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generator_not_void: <B>Result</B> /= <B>Void</B>
            generator_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_has"><A HREF="../base/array_flatshort.html#f_has">has</A> (v: <A HREF="../base/string_8_flatshort.html">STRING_8</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does </FONT>`v'<FONT COLOR="red"> appear in array?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Reference or object equality,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> based on </FONT><A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A><FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A>
            not_found_in_empty: <B>Result</B> <B>implies</B> <B>not</B> <A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_item"><B>item</B> <B>alias</B> "[]" (i: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/string_8_flatshort.html">STRING_8</A> <B>assign</B> <A HREF="../base/array_flatshort.html#f_put">put</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Entry at index </FONT>`i'<FONT COLOR="red">, if in index interval</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red"> as synonym of </FONT><B>infix</B> "@"<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/table_flatshort.html">TABLE</A>
            valid_key: <A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (i)
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/to_special_flatshort.html">TO_SPECIAL</A>
            valid_index: <A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (i)
</A>
    <A NAME="f_infix "@""><B>infix</B> "@" (i: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/string_8_flatshort.html">STRING_8</A> <B>assign</B> <A HREF="../base/array_flatshort.html#f_put">put</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Entry at index </FONT>`i'<FONT COLOR="red">, if in index interval</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/array_flatshort.html#f_item">item</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/table_flatshort.html">TABLE</A>
            valid_key: <A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (i)
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/to_special_flatshort.html">TO_SPECIAL</A>
            valid_index: <A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (i)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Measurement</FONT>

    <A NAME="f_additional_space"><A HREF="../base/resizable_flatshort.html#f_additional_space">additional_space</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Proposed number of additional items</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/resizable_flatshort.html">RESIZABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/resizable_flatshort.html">RESIZABLE</A>
            at_least_one: <B>Result</B> &gt;= 1
</A>
    <A NAME="f_capacity"><A HREF="../base/array_flatshort.html#f_capacity">capacity</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Number of available indices</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/array_flatshort.html#f_count">count</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/bounded_flatshort.html">BOUNDED</A>
            <B>True</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            consistent_with_bounds: <B>Result</B> = <A HREF="../base/array_flatshort.html#f_upper">upper</A> - <A HREF="../base/array_flatshort.html#f_lower">lower</A> + 1
</A>
    <A NAME="f_count"><A HREF="../base/array_flatshort.html#f_count">count</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Number of available indices</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Was declared in </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red"> as synonym of </FONT><A HREF="../base/array_flatshort.html#f_capacity">capacity</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/finite_flatshort.html">FINITE</A>
            <B>True</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            consistent_with_bounds: <B>Result</B> = <A HREF="../base/array_flatshort.html#f_upper">upper</A> - <A HREF="../base/array_flatshort.html#f_lower">lower</A> + 1
</A>
    <A NAME="f_growth_percentage"><A HREF="../base/resizable_flatshort.html#f_growth_percentage">growth_percentage</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 50</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Percentage by which structure will grow automatically</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/resizable_flatshort.html">RESIZABLE</A><FONT COLOR="red">)</FONT>

    <A NAME="f_index_set"><A HREF="../base/array_flatshort.html#f_index_set">index_set</A>: <A HREF="../base/integer_interval_flatshort.html">INTEGER_INTERVAL</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Range of acceptable indexes</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/indexable_flatshort.html">INDEXABLE</A>
            <B>True</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/indexable_flatshort.html">INDEXABLE</A>
            not_void: <B>Result</B> /= <B>Void</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            same_count: <B>Result</B>.<A HREF="../base/integer_interval_flatshort.html#f_count">count</A> = <A HREF="../base/array_flatshort.html#f_count">count</A>
            same_bounds: ((<B>Result</B>.<A HREF="../base/integer_interval_flatshort.html#f_lower">lower</A> = <A HREF="../base/array_flatshort.html#f_lower">lower</A>) <B>and</B> (<B>Result</B>.<A HREF="../base/integer_interval_flatshort.html#f_upper">upper</A> = <A HREF="../base/array_flatshort.html#f_upper">upper</A>))
</A>
    <A NAME="f_lower"><A HREF="../base/array_flatshort.html#f_lower">lower</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Minimum index</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>

    <A NAME="f_minimal_increase"><A HREF="../base/resizable_flatshort.html#f_minimal_increase">minimal_increase</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 5</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Minimal number of additional items</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/resizable_flatshort.html">RESIZABLE</A><FONT COLOR="red">)</FONT>

    <A NAME="f_occurrences"><A HREF="../base/array_flatshort.html#f_occurrences">occurrences</A> (v: <A HREF="../base/string_8_flatshort.html">STRING_8</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Number of times </FONT>`v'<FONT COLOR="red"> appears in structure</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/bag_flatshort.html">BAG</A>
            non_negative_occurrences: <B>Result</B> &gt;= 0
</A>
    <A NAME="f_upper"><A HREF="../base/array_flatshort.html#f_upper">upper</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Maximum index</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Comparison</FONT>

    <A NAME="f_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> or attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some, other) <B>implies</B> <B>Result</B>
            both_or_none_void: (some = <B>Void</B>) <B>implies</B> (<B>Result</B> = (other = <B>Void</B>))
            same_type: (<B>Result</B> <B>and</B> (some /= <B>Void</B>)) <B>implies</B> (other /= <B>Void</B> <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other))
            symmetric: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (other, some)
</A>
    <A NAME="f_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_equal">equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to objects considered equal?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other))
</A>
    <A NAME="f_is_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (other: <A HREF="../base/foobar_flatshort.html">FOOBAR</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`Current'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (<B>Current</B>)
</A>
    <A NAME="f_is_equal"><A HREF="../base/array_flatshort.html#f_is_equal">is_equal</A> (other: <A HREF="../base/foobar_flatshort.html">FOOBAR</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is array made of the same items as </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
            consistent: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
</A>
    <A NAME="f_standard_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached to</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> field-by-field identical objects of the same type?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default object comparison criterion.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other))
</A>
    <A NAME="f_standard_is_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other: <A HREF="../base/foobar_flatshort.html">FOOBAR</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object of the same type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> as current object, and field-by-field identical to it?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status report</FONT>

    <A NAME="f_all_default"><A HREF="../base/array_flatshort.html#f_all_default">all_default</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are all items set to default values?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            definition: <B>Result</B> = (<A HREF="../base/array_flatshort.html#f_count">count</A> = 0 <B>or else</B> ((<B>not</B> {i: <B>like</B> <A HREF="../base/array_flatshort.html#f_item">item</A>} <A HREF="../base/array_flatshort.html#f_item">item</A> (<A HREF="../base/array_flatshort.html#f_upper">upper</A>) <B>or else</B> i = i.<A HREF="../base/any_flatshort.html#f_default">default</A>) <B>and</B> <A HREF="../base/array_flatshort.html#f_subarray">subarray</A> (<A HREF="../base/array_flatshort.html#f_lower">lower</A>, <A HREF="../base/array_flatshort.html#f_upper">upper</A> - 1).<A HREF="../base/array_flatshort.html#f_all_default">all_default</A>))
</A>
    <A NAME="f_changeable_comparison_criterion"><A HREF="../base/container_flatshort.html#f_changeable_comparison_criterion">changeable_comparison_criterion</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> May </FONT><A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A><FONT COLOR="red"> be changed?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Answer: yes by default.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_conforms_to"><A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does type of current object conform to type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of </FONT>`other'<FONT COLOR="red"> (as per Eiffel: The Language, chapter 13)?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
</A>
    <A NAME="f_extendible"><A HREF="../base/array_flatshort.html#f_extendible">extendible</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> May items be added?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Answer: no, although array may be resized.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_full"><A HREF="../base/array_flatshort.html#f_full">full</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is structure filled to capacity? (Answer: yes)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/box_flatshort.html">BOX</A>
            <B>True</B>
</A>
    <A NAME="f_is_empty"><A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is structure empty?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/finite_flatshort.html">FINITE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/container_flatshort.html">CONTAINER</A>
            <B>True</B>
</A>
    <A NAME="f_is_inserted"><A HREF="../base/collection_flatshort.html#f_is_inserted">is_inserted</A> (v: <A HREF="../base/string_8_flatshort.html">STRING_8</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Has </FONT>`v'<FONT COLOR="red"> been inserted by the most recent insertion?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (By default, the value returned is equivalent to calling </FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT>`has (v)'<FONT COLOR="red">. However, descendants might be able to provide more</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> efficient implementations.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_object_comparison"><A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Must search operations use </FONT><A HREF="../base/any_flatshort.html#f_equal">equal</A><FONT COLOR="red"> rather than </FONT>`='
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> for comparing references? (Default: no, use </FONT>`='<FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A><FONT COLOR="red">)</FONT>

    <A NAME="f_prunable"><A HREF="../base/array_flatshort.html#f_prunable">prunable</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> May items be removed? (Answer: no.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_resizable"><A HREF="../base/resizable_flatshort.html#f_resizable">resizable</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> May </FONT><A HREF="../base/array_flatshort.html#f_capacity">capacity</A><FONT COLOR="red"> be changed? (Answer: yes.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/resizable_flatshort.html">RESIZABLE</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_same_items"><A HREF="../base/array_flatshort.html#f_same_items">same_items</A> (other: <A HREF="../base/foobar_flatshort.html">FOOBAR</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Do </FONT>`other'<FONT COLOR="red"> and Current have same items?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            definition: <B>Result</B> = ((<A HREF="../base/array_flatshort.html#f_count">count</A> = other.<A HREF="../base/array_flatshort.html#f_count">count</A>) <B>and then</B> (<A HREF="../base/array_flatshort.html#f_count">count</A> = 0 <B>or else</B> (<A HREF="../base/array_flatshort.html#f_item">item</A> (<A HREF="../base/array_flatshort.html#f_upper">upper</A>) = other.<A HREF="../base/array_flatshort.html#f_item">item</A> (other.<A HREF="../base/array_flatshort.html#f_upper">upper</A>) <B>and</B> <A HREF="../base/array_flatshort.html#f_subarray">subarray</A> (<A HREF="../base/array_flatshort.html#f_lower">lower</A>, <A HREF="../base/array_flatshort.html#f_upper">upper</A> - 1).<A HREF="../base/array_flatshort.html#f_same_items">same_items</A> (other.<A HREF="../base/array_flatshort.html#f_subarray">subarray</A> (other.<A HREF="../base/array_flatshort.html#f_lower">lower</A>, other.<A HREF="../base/array_flatshort.html#f_upper">upper</A> - 1)))))
</A>
    <A NAME="f_same_type"><A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is type of current object identical to type of </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other) <B>and</B> other.<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>))
</A>
    <A NAME="f_valid_index"><A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (i: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`i'<FONT COLOR="red"> within the bounds of the array?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/table_flatshort.html">TABLE</A>
            <B>True</B>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/to_special_flatshort.html">TO_SPECIAL</A>
            <B>True</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/indexable_flatshort.html">INDEXABLE</A>
            only_if_in_index_set: <B>Result</B> <B>implies</B> ((i &gt;= <A HREF="../base/array_flatshort.html#f_index_set">index_set</A>.<A HREF="../base/integer_interval_flatshort.html#f_lower">lower</A>) <B>and</B> (i &lt;= <A HREF="../base/array_flatshort.html#f_index_set">index_set</A>.<A HREF="../base/integer_interval_flatshort.html#f_upper">upper</A>))
</A>
    <A NAME="f_valid_index_set"><A HREF="../base/array_flatshort.html#f_valid_index_set">valid_index_set</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status setting</FONT>

    <A NAME="f_compare_objects"><A HREF="../base/container_flatshort.html#f_compare_objects">compare_objects</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Ensure that future search operations will use </FONT><A HREF="../base/any_flatshort.html#f_equal">equal</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> rather than </FONT>`='<FONT COLOR="red"> for comparing references.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A>
            changeable_comparison_criterion: <A HREF="../base/container_flatshort.html#f_changeable_comparison_criterion">changeable_comparison_criterion</A>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A>
            <A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A>
</A>
    <A NAME="f_compare_references"><A HREF="../base/container_flatshort.html#f_compare_references">compare_references</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Ensure that future search operations will use </FONT>`='
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> rather than </FONT><A HREF="../base/any_flatshort.html#f_equal">equal</A><FONT COLOR="red"> for comparing references.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A>
            changeable_comparison_criterion: <A HREF="../base/container_flatshort.html#f_changeable_comparison_criterion">changeable_comparison_criterion</A>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/container_flatshort.html">CONTAINER</A>
            reference_comparison: <B>not</B> <A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Element change</FONT>

    <A NAME="f_enter"><A HREF="../base/array_flatshort.html#f_enter">enter</A> (v: <B>like</B> <A HREF="../base/array_flatshort.html#f_item">item</A>; i: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Replace </FONT>`i'<FONT COLOR="red">-th entry, if in index interval, by </FONT>`v'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            valid_key: <A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (i)
</A>
    <A NAME="f_fill"><A HREF="../base/collection_flatshort.html#f_fill">fill</A> (other: <A HREF="../base/container_flatshort.html">CONTAINER</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>])
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Fill with as many items of </FONT>`other'<FONT COLOR="red"> as possible.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> The representations of </FONT>`other'<FONT COLOR="red"> and current structure</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> need not be the same.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A>
            other_not_void: other /= <B>Void</B>
            extendible: <A HREF="../base/array_flatshort.html#f_extendible">extendible</A>
</A>
    <A NAME="f_force"><A HREF="../base/array_flatshort.html#f_force">force</A> (v: <B>like</B> <A HREF="../base/array_flatshort.html#f_item">item</A>; i: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Assign item </FONT>`v'<FONT COLOR="red"> to </FONT>`i'<FONT COLOR="red">-th entry.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always applicable: resize the array if </FONT>`i'<FONT COLOR="red"> falls out of</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> currently defined bounds; preserve existing items.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            inserted: <A HREF="../base/array_flatshort.html#f_item">item</A> (i) = v
            higher_count: <A HREF="../base/array_flatshort.html#f_count">count</A> &gt;= <B>old</B> <A HREF="../base/array_flatshort.html#f_count">count</A>
</A>
    <A NAME="f_put"><A HREF="../base/array_flatshort.html#f_put">put</A> (v: <B>like</B> <A HREF="../base/array_flatshort.html#f_item">item</A>; i: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Replace </FONT>`i'<FONT COLOR="red">-th entry, if in index interval, by </FONT>`v'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/table_flatshort.html">TABLE</A>
            valid_key: <A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (i)
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/to_special_flatshort.html">TO_SPECIAL</A>
            valid_index: <A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (i)
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/indexable_flatshort.html">INDEXABLE</A>
            insertion_done: <A HREF="../base/array_flatshort.html#f_item">item</A> (i) = v
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/to_special_flatshort.html">TO_SPECIAL</A>
            inserted: <A HREF="../base/array_flatshort.html#f_item">item</A> (i) = v
</A>
    <A NAME="f_subcopy"><A HREF="../base/array_flatshort.html#f_subcopy">subcopy</A> (other: <A HREF="../base/array_flatshort.html">ARRAY</A> [<B>like</B> <A HREF="../base/array_flatshort.html#f_item">item</A>]; start_pos, end_pos, index_pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Copy items of </FONT>`other'<FONT COLOR="red"> within bounds </FONT>`start_pos'<FONT COLOR="red"> and </FONT>`end_pos'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to current array starting at index </FONT>`index_pos'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            other_not_void: other /= <B>Void</B>
            valid_start_pos: other.<A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (start_pos)
            valid_end_pos: other.<A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (end_pos)
            valid_bounds: (start_pos &lt;= end_pos) <B>or</B> (start_pos = end_pos + 1)
            valid_index_pos: <A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (index_pos)
            enough_space: (<A HREF="../base/array_flatshort.html#f_upper">upper</A> - index_pos) &gt;= (end_pos - start_pos)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Removal</FONT>

    <A NAME="f_clear_all"><A HREF="../base/array_flatshort.html#f_clear_all">clear_all</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Reset all items to default values.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            stable_lower: <A HREF="../base/array_flatshort.html#f_lower">lower</A> = <B>old</B> <A HREF="../base/array_flatshort.html#f_lower">lower</A>
            stable_upper: <A HREF="../base/array_flatshort.html#f_upper">upper</A> = <B>old</B> <A HREF="../base/array_flatshort.html#f_upper">upper</A>
            default_items: <A HREF="../base/array_flatshort.html#f_all_default">all_default</A>
</A>
    <A NAME="f_discard_items"><A HREF="../base/array_flatshort.html#f_discard_items">discard_items</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Reset all items to default values with reallocation.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            default_items: <A HREF="../base/array_flatshort.html#f_all_default">all_default</A>
</A>
    <A NAME="f_prune_all"><A HREF="../base/collection_flatshort.html#f_prune_all">prune_all</A> (v: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Remove all occurrences of </FONT>`v'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Reference or object equality,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> based on </FONT><A HREF="../base/container_flatshort.html#f_object_comparison">object_comparison</A><FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A>
            prunable: <A HREF="../base/array_flatshort.html#f_prunable">prunable</A>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/collection_flatshort.html">COLLECTION</A>
            no_more_occurrences: <B>not</B> <A HREF="../base/array_flatshort.html#f_has">has</A> (v)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Resizing</FONT>

    <A NAME="f_automatic_grow"><A HREF="../base/resizable_flatshort.html#f_automatic_grow">automatic_grow</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Change the capacity to accommodate at least</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/resizable_flatshort.html#f_growth_percentage">Growth_percentage</A><FONT COLOR="red"> more items.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/resizable_flatshort.html">RESIZABLE</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/resizable_flatshort.html">RESIZABLE</A>
            increased_capacity: <A HREF="../base/array_flatshort.html#f_capacity">capacity</A> &gt;= <B>old</B> <A HREF="../base/array_flatshort.html#f_capacity">capacity</A> + <B>old</B> <A HREF="../base/resizable_flatshort.html#f_additional_space">additional_space</A>
</A>
    <A NAME="f_conservative_resize"><A HREF="../base/array_flatshort.html#f_conservative_resize">conservative_resize</A> (min_index, max_index: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Rearrange array so that it can accommodate</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> indices down to </FONT>`min_index'<FONT COLOR="red"> and up to </FONT>`max_index'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Do not lose any previously entered item.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            good_indices: min_index &lt;= max_index
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            no_low_lost: <A HREF="../base/array_flatshort.html#f_lower">lower</A> = min_index <B>or else</B> <A HREF="../base/array_flatshort.html#f_lower">lower</A> = <B>old</B> <A HREF="../base/array_flatshort.html#f_lower">lower</A>
            no_high_lost: <A HREF="../base/array_flatshort.html#f_upper">upper</A> = max_index <B>or else</B> <A HREF="../base/array_flatshort.html#f_upper">upper</A> = <B>old</B> <A HREF="../base/array_flatshort.html#f_upper">upper</A>
</A>
    <A NAME="f_grow"><A HREF="../base/array_flatshort.html#f_grow">grow</A> (i: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Change the capacity to at least </FONT>`i'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/resizable_flatshort.html">RESIZABLE</A>
            new_capacity: <A HREF="../base/array_flatshort.html#f_capacity">capacity</A> &gt;= i
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Conversion</FONT>

    <A NAME="f_linear_representation"><A HREF="../base/array_flatshort.html#f_linear_representation">linear_representation</A>: <A HREF="../base/linear_flatshort.html">LINEAR</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Representation as a linear structure</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_to_c"><A HREF="../base/array_flatshort.html#f_to_c">to_c</A>: <A HREF="../base/any_flatshort.html">ANY</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Address of actual sequence of values,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> for passing to external (non-Eiffel) routines.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            not_is_dotnet: <B>not</B> {<A HREF="../base/platform_flatshort.html">PLATFORM</A>}.<A HREF="../base/platform_flatshort.html#f_is_dotnet">is_dotnet</A>
</A>
    <A NAME="f_to_cil"><A HREF="../base/array_flatshort.html#f_to_cil">to_cil</A>: <A HREF="../base/native_array_flatshort.html">NATIVE_ARRAY</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Address of actual sequence of values,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> for passing to external (non-Eiffel) routines.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            is_dotnet: {<A HREF="../base/platform_flatshort.html">PLATFORM</A>}.<A HREF="../base/platform_flatshort.html#f_is_dotnet">is_dotnet</A>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            to_cil_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_to_special"><A HREF="../base/array_flatshort.html#f_to_special">to_special</A>: <A HREF="../base/special_flatshort.html">SPECIAL</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> 'area'.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            to_special_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Duplication</FONT>

    <A NAME="f_copy"><A HREF="../base/array_flatshort.html#f_copy">copy</A> (other: <A HREF="../base/foobar_flatshort.html">FOOBAR</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Reinitialize by copying all the items of </FONT>`other'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (This is also used by </FONT><A HREF="../base/any_flatshort.html#f_clone">clone</A><FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_equal: <A HREF="../base/array_flatshort.html#f_is_equal">is_equal</A> (other)
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            equal_areas: <A HREF="../base/to_special_flatshort.html#f_area">area</A>.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other.<A HREF="../base/to_special_flatshort.html#f_area">area</A>)
</A>
    <A NAME="f_deep_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_copy">deep_copy</A> (other: <A HREF="../base/foobar_flatshort.html">FOOBAR</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Effect equivalent to that of:</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red">		</FONT><A HREF="../base/array_flatshort.html#f_copy">copy</A><FONT COLOR="red"> (</FONT>`other'<FONT COLOR="red"> . </FONT><A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A><FONT COLOR="red">)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, other)
</A>
    <A NAME="f_deep_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A>: <A HREF="../base/foobar_flatshort.html">FOOBAR</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object structure recursively duplicated from Current.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_twin_not_void: <B>Result</B> /= <B>Void</B>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, <B>Result</B>)
</A>
    <A NAME="f_standard_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_copy">standard_copy</A> (other: <A HREF="../base/foobar_flatshort.html">FOOBAR</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Copy every field of </FONT>`other'<FONT COLOR="red"> onto corresponding field</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_standard_equal: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other)
</A>
    <A NAME="f_standard_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_twin">standard_twin</A>: <A HREF="../base/foobar_flatshort.html">FOOBAR</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object field-by-field identical to </FONT>`other'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default copying semantics.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            standard_twin_not_void: <B>Result</B> /= <B>Void</B>
            equal: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (<B>Result</B>, <B>Current</B>)
</A>
    <A NAME="f_subarray"><A HREF="../base/array_flatshort.html#f_subarray">subarray</A> (start_pos, end_pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/array_flatshort.html">ARRAY</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Array made of items of current array within</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> bounds </FONT>`start_pos'<FONT COLOR="red"> and </FONT>`end_pos'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            valid_start_pos: <A HREF="../base/array_flatshort.html#f_valid_index">valid_index</A> (start_pos)
            valid_end_pos: end_pos &lt;= <A HREF="../base/array_flatshort.html#f_upper">upper</A>
            valid_bounds: (start_pos &lt;= end_pos) <B>or</B> (start_pos = end_pos + 1)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            lower: <B>Result</B>.<A HREF="../base/array_flatshort.html#f_lower">lower</A> = start_pos
            upper: <B>Result</B>.<A HREF="../base/array_flatshort.html#f_upper">upper</A> = end_pos
</A>
    <A NAME="f_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_twin">twin</A>: <A HREF="../base/foobar_flatshort.html">FOOBAR</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object equal to </FONT>`Current'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/any_flatshort.html#f_twin">twin</A><FONT COLOR="red"> calls </FONT><A HREF="../base/array_flatshort.html#f_copy">copy</A><FONT COLOR="red">; to change copying/twining semantics, redefine </FONT><A HREF="../base/array_flatshort.html#f_copy">copy</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            twin_not_void: <B>Result</B> /= <B>Void</B>
            is_equal: <B>Result</B>.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Basic operations</FONT>

    <A NAME="f_default"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default">default</A>: ?<A HREF="../base/foobar_flatshort.html">FOOBAR</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of object's type</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_pointer"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default_pointer">default_pointer</A>: <A HREF="../base/pointer_flatshort.html">POINTER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of type </FONT>`POINTER'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Avoid the need to write </FONT>`p'<FONT COLOR="red">.</FONT><A HREF="../base/any_flatshort.html#f_default">default</A><FONT COLOR="red"> for</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> some </FONT>`p'<FONT COLOR="red"> of type </FONT>`POINTER'<FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_rescue"><A HREF="../base/any_flatshort.html#f_default_rescue">default_rescue</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process exception for routines with no Rescue clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_do_nothing"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_do_nothing">do_nothing</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Execute a null action.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> 

    <A NAME="f_bar"><A HREF="../base/foobar_flatshort.html#f_bar">bar</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Iteration</FONT>

    <A NAME="f_do_all"><A HREF="../base/array_flatshort.html#f_do_all">do_all</A> (action: <A HREF="../base/procedure_flatshort.html">PROCEDURE</A> [<A HREF="../base/any_flatshort.html">ANY</A>, <A HREF="../base/tuple_flatshort.html">TUPLE</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>]])
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Apply </FONT>`action'<FONT COLOR="red"> to every item, from first to last.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Semantics not guaranteed if </FONT>`action'<FONT COLOR="red"> changes the structure;</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> in such a case, apply iterator to clone of structure instead.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            action_not_void: action /= <B>Void</B>
</A>
    <A NAME="f_do_all_with_index"><A HREF="../base/array_flatshort.html#f_do_all_with_index">do_all_with_index</A> (action: <A HREF="../base/procedure_flatshort.html">PROCEDURE</A> [<A HREF="../base/any_flatshort.html">ANY</A>, <A HREF="../base/tuple_flatshort.html">TUPLE</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>, <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>]])
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Apply </FONT>`action'<FONT COLOR="red"> to every item, from first to last.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT>`action'<FONT COLOR="red"> receives item and its index.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Semantics not guaranteed if </FONT>`action'<FONT COLOR="red"> changes the structure;</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> in such a case, apply iterator to clone of structure instead.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            action_not_void: action /= <B>Void</B>
</A>
    <A NAME="f_do_if"><A HREF="../base/array_flatshort.html#f_do_if">do_if</A> (action: <A HREF="../base/procedure_flatshort.html">PROCEDURE</A> [<A HREF="../base/any_flatshort.html">ANY</A>, <A HREF="../base/tuple_flatshort.html">TUPLE</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>]]; test: <A HREF="../base/function_flatshort.html">FUNCTION</A> [<A HREF="../base/any_flatshort.html">ANY</A>, <A HREF="../base/tuple_flatshort.html">TUPLE</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>], <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>])
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Apply </FONT>`action'<FONT COLOR="red"> to every item that satisfies </FONT>`test'<FONT COLOR="red">, from first to last.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Semantics not guaranteed if </FONT>`action'<FONT COLOR="red"> or </FONT>`test'<FONT COLOR="red"> changes the structure;</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> in such a case, apply iterator to clone of structure instead.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            action_not_void: action /= <B>Void</B>
            test_not_void: test /= <B>Void</B>
</A>
    <A NAME="f_do_if_with_index"><A HREF="../base/array_flatshort.html#f_do_if_with_index">do_if_with_index</A> (action: <A HREF="../base/procedure_flatshort.html">PROCEDURE</A> [<A HREF="../base/any_flatshort.html">ANY</A>, <A HREF="../base/tuple_flatshort.html">TUPLE</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>, <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>]]; test: <A HREF="../base/function_flatshort.html">FUNCTION</A> [<A HREF="../base/any_flatshort.html">ANY</A>, <A HREF="../base/tuple_flatshort.html">TUPLE</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>, <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>], <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>])
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Apply </FONT>`action'<FONT COLOR="red"> to every item that satisfies </FONT>`test'<FONT COLOR="red">, from first to last.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT>`action'<FONT COLOR="red"> and </FONT>`test'<FONT COLOR="red"> receive the item and its index.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Semantics not guaranteed if </FONT>`action'<FONT COLOR="red"> or </FONT>`test'<FONT COLOR="red"> changes the structure;</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> in such a case, apply iterator to clone of structure instead.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            action_not_void: action /= <B>Void</B>
            test_not_void: test /= <B>Void</B>
</A>
    <A NAME="f_for_all"><A HREF="../base/array_flatshort.html#f_for_all">for_all</A> (test: <A HREF="../base/function_flatshort.html">FUNCTION</A> [<A HREF="../base/any_flatshort.html">ANY</A>, <A HREF="../base/tuple_flatshort.html">TUPLE</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>], <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>]): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`test'<FONT COLOR="red"> true for all items?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            test_not_void: test /= <B>Void</B>
</A>
    <A NAME="f_there_exists"><A HREF="../base/array_flatshort.html#f_there_exists">there_exists</A> (test: <A HREF="../base/function_flatshort.html">FUNCTION</A> [<A HREF="../base/any_flatshort.html">ANY</A>, <A HREF="../base/tuple_flatshort.html">TUPLE</A> [<A HREF="../base/string_8_flatshort.html">STRING_8</A>], <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>]): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`test'<FONT COLOR="red"> true for at least one item?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
            test_not_void: test /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Output</FONT>

    <A NAME="f_io"><A HREF="../base/any_flatshort.html#f_io">io</A>: <A HREF="../base/std_files_flatshort.html">STD_FILES</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Handle to standard file setup</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            io_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_out"><A HREF="../base/any_flatshort.html#f_out">out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            out_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_print"><A HREF="../base/any_flatshort.html#f_print">print</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Write terse external representation of </FONT>`some'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> on standard output.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_tagged_out"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_tagged_out">tagged_out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            tagged_out_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Platform</FONT>

    <A NAME="f_operating_environment"><A HREF="../base/any_flatshort.html#f_operating_environment">operating_environment</A>: <A HREF="../base/operating_environment_flatshort.html">OPERATING_ENVIRONMENT</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Objects available from the operating system</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            operating_environment_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>invariant</B>
        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/array_flatshort.html">ARRAY</A>
    area_exists: <A HREF="../base/to_special_flatshort.html#f_area">area</A> /= <B>Void</B>
    consistent_size: <A HREF="../base/array_flatshort.html#f_capacity">capacity</A> = <A HREF="../base/array_flatshort.html#f_upper">upper</A> - <A HREF="../base/array_flatshort.html#f_lower">lower</A> + 1
    non_negative_count: <A HREF="../base/array_flatshort.html#f_count">count</A> &gt;= 0
    index_set_has_same_count: <A HREF="../base/array_flatshort.html#f_valid_index_set">valid_index_set</A>

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/resizable_flatshort.html">RESIZABLE</A>
    increase_by_at_least_one: <A HREF="../base/resizable_flatshort.html#f_minimal_increase">minimal_increase</A> &gt;= 1

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/bounded_flatshort.html">BOUNDED</A>
    valid_count: <A HREF="../base/array_flatshort.html#f_count">count</A> &lt;= <A HREF="../base/array_flatshort.html#f_capacity">capacity</A>
    full_definition: <A HREF="../base/array_flatshort.html#f_full">full</A> = (<A HREF="../base/array_flatshort.html#f_count">count</A> = <A HREF="../base/array_flatshort.html#f_capacity">capacity</A>)

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/finite_flatshort.html">FINITE</A>
    empty_definition: <A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A> = (<A HREF="../base/array_flatshort.html#f_count">count</A> = 0)
    non_negative_count: <A HREF="../base/array_flatshort.html#f_count">count</A> &gt;= 0

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
    reflexive_equality: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
    reflexive_conformance: <A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>)

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/indexable_flatshort.html">INDEXABLE</A>
    index_set_not_void: <A HREF="../base/array_flatshort.html#f_index_set">index_set</A> /= <B>Void</B>

<B>end</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">class </FONT><A HREF="../base/foobar_flatshort.html">FOOBAR</A><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="foobar_chart.html">Chart</A></TD><TD><A HREF="foobar_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>

